if get_option('man')
  subdir('manpages')
endif
if get_option('docs')
  subdir('tools')
  subdir('reference')
endif
